Syntax and semantics: A categorical view
نویسندگان
چکیده
منابع مشابه
A minimalist view of the syntax-lexical semantics interface
This paper presents a restrictive theory of the interface between the lexicon and the syntax. I assume that only a limited amount of lexical information is available at the interface, and, following Borer (1994), that semantic (aspectual) interpretation is assigned at specifiers of aspectual projections, rather than within the VP. Thus, the concept of "Mapping" from lexicon to syntax or the "Li...
متن کاملA 2-categorical framework for the syntax and semantics of many-sorted equational logic
Received 30 January 2008; revised 7 July 2008 In memory of Professor Tsuyoshi Fujiwara (1923–2006) Primary: 03C05, 03F25, 08A68, 08A40, 18A23, 18C10, 18D05; Secondary: 03C95, 68Q65.
متن کاملIntegrating Syntax and Semantics
Well-known examples such as Bar-Hillel's (1960) "The box is in the pen" illustrate that extensive semantic analysis is necessary to resolve ambiguities that must be resolved in machine translation. If one accepts the premise that semantics should be added to the analysis techniques used in machine translation, what is the way in which it should be added? This paper will argue for an integrated ...
متن کاملEquivariant Syntax and Semantics
syntax is not sufficiently abstract Parse trees take no account of variable binding. ∫ x 0 (∫ y 1 xy dx )
متن کاملViewcharts: Syntax and Semantics
In this paper, we present a method for describing the syntax and semantics of viewcharts. Viewcharts is a visual formalism for describing the dynamic behavior of system components. We define the syntax of viewcharts as attributed graphs and, based on this graph, describe dynamic semantics of viewcharts by object mapping automata. This approach covers many important constructs of viewcharts, inc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Control
سال: 1970
ISSN: 0019-9958
DOI: 10.1016/s0019-9958(70)90517-6